Analysis of Data-Centric Workfows

Workflows centered around data have become pervasive in a wide variety of applications, including health-care management, ecommerce, business processes, scientific workflows, and e-government. Such workflows are often very complex and involve numerous interacting actors. They are prone to costly bugs, whence the need for static analysis in order to verify critical properties. Analysis tools are also needed to facilitate the integration, interoperation and evolution of workflows, and to provide runtime assistance to participating actors. This talk will present an overview of recent research carried out with collaborators at UC San Diego and INRIA on the analysis of data-centric workflows, an area of growing interest in both academia and industry.